DANVY, OLIVIER: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Folding left and right over Peano numbers

Journal:

Journal of Functional Programming

Year:

2019

Language:

english

File:

PDF, 156 KB

english, 2019

2

A unifying approach to goal-directed evaluation

Olivier Danvy, Bernd Grobauer, Morten Rhiger

Journal:

New Generation Computing

Year:

2002

Language:

english

File:

PDF, 1015 KB

english, 2002

3

Peter J. Landin (1930–2009)

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 184 KB

english, 2009

4

Editorial

Olivier Danvy, Takayasu Ito, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 15 KB

english, 2001

5

[Lecture Notes in Computer Science] Partial Evaluation Volume 1110 || A roadmap to metacomputation by supercompilation

Danvy, Olivier, Glück, Robert, Thiemann, Peter

Year:

1996

Language:

english

File:

PDF, 1.30 MB

english, 1996

6

Partial Evaluation of the Euclidian Algorithm

Olivier Danvy, Mayer Goldberg

Journal:

Higher-Order and Symbolic Computation

Year:

1997

Language:

english

File:

PDF, 134 KB

english, 1997

7

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 7 KB

english, 2001

8

Editorial

Olivier Danvy, Amr Sabry

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 28 KB

english, 2002

9

Editorial

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Journal:

Higher-Order and Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 78 KB

english, 2005

10

Back to direct style

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 740 KB

english, 1994

11

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 16 KB

english, 1999

12

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 13 KB

english, 2000

13

Editorial

Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Journal:

Higher-Order and Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 29 KB

english, 2003

14

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 10 KB

english, 1999

15

Editorial

Olivier Danvy, Julia L. Lawall

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 22 KB

english, 2001

16

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 14 KB

english, 2002

17

The essence of eta-expansion in partial evaluation

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 949 KB

english, 1995

18

[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 ||

Agha, Gul, Danvy, Olivier, Meseguer, José

Year:

2011

Language:

english

File:

PDF, 7.68 MB

english, 2011

19

A characterization of Moessner's sieve

Clausen, Christian, Danvy, Olivier, Masuko, Moe

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

20

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Tutorial notes on partial evaluation

Consel, Charles, Danvy, Olivier

Year:

1993

Language:

english

File:

PDF, 1.04 MB

english, 1993

21

Partial evaluation in parallel

Charles Consel, Olivier Danvy

Journal:

Higher-Order and Symbolic Computation

Year:

1993

Language:

english

File:

PDF, 829 KB

english, 1993

22

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Type-directed partial evaluation

Year:

1996

Language:

english

File:

PDF, 1.52 MB

english, 1996

23

Editorial

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

24

Editorial

Olivier Danvy, Takayasu Ito, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 15 KB

english, 2002

25

Editorial

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

26

Introduction

Olivier Danvy, Carolyn L. Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1998

Language:

english

File:

PDF, 16 KB

english, 1998

27

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 11 KB

english, 2000

28

Editorial

David Basin, Olivier Danvy, Robert Harper

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 16 KB

english, 2004

29

Editorial

Olivier Danvy, Oege de Moor, Julian Padget, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

30

Editorial

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 25 KB

english, 2004

31

Editorial

Olivier Danvy, Ian Mason

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 90 KB

english, 2008

32

Editorial

Olivier Danvy, Ian Mason

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 29 KB

english, 2004

33

Editorial

Olivier Danvy, Julian Padget

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 90 KB

english, 2009

34

Introduction

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 9 KB

english, 1999

35

CPS transformation of beta-redexes

Olivier Danvy, Lasse R. Nielsen

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

36

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1998

Language:

english

File:

PDF, 16 KB

english, 1998

37

Editorial

Olivier Danvy, Carolyn L. Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 91 KB

english, 2009

38

Editorial

Olivier Danvy, Carolyn Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 7 KB

english, 1999

39

Editorial

Olivier Danvy, Hayo Thielecke

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 115 KB

english, 2007

40

Editorial

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 137 KB

english, 2007

41

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - A synthetic operational account of call-by-need evaluation

Danvy, Olivier, Zerny, Ian

Year:

2013

Language:

english

File:

PDF, 223 KB

english, 2013

42

THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control

BIERNACKI, DARIUSZ, DANVY, OLIVIER

Journal:

Journal of Functional Programming

Year:

2006

Language:

english

File:

PDF, 128 KB

english, 2006

43

[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - A walk in the semantic park

Danvy, Olivier, Johannsen, Jacob, Zerny, Ian

Year:

2011

Language:

english

File:

PDF, 453 KB

english, 2011

44

1998 symposium on partial evaluation

Danvy, Olivier, Glück, Robert, Thiemann, Peter

Journal:

ACM Computing Surveys

Year:

1998

Language:

english

File:

PDF, 137 KB

english, 1998

45

[ACM Press the 25th symposium - Nijmegen, Netherlands (2013.08.28-2013.08.30)] Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13 - Circularity and Lambda Abstraction

Danvy, Olivier, Thiemann, Peter, Zerny, Ian

Year:

2014

Language:

english

File:

PDF, 253 KB

english, 2014

46

A first-order one-pass CPS transformation

Olivier Danvy, Lasse R. Nielsen

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 497 KB

english, 2003

47

Editorial

Olivier Danvy, Carolyn L. Talcott

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 91 KB

english, 2009

48

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Pragmatics for formal semantics

Year:

2011

Language:

english

File:

PDF, 551 KB

english, 2011

49

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - A generic account of continuation-passing styles

Hatcliff, John, Danvy, Olivier

Year:

1994

Language:

english

File:

PDF, 1.35 MB

english, 1994

50

Lambda-dropping: transforming recursive equations into programs with block structure

Olivier Danvy, Ulrik P. Schultz

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 302 KB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски